what is library file in c